Abstraction of Meaningful Symbolized Objects
نویسندگان
چکیده
منابع مشابه
Abstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipović, Peter O’Hearn, Noam Rinetzky1, Hongseok Yang Queen Mary University of London, UK
متن کاملTowards Unique Physically Meaningful Definitions of Random and Typical Objects
To distinguish between random and non-random sequence, Kolmogorov and Martin-Löf proposed a new definition of randomness, according to which an object (e.g., a sequence of 0s and 1s) if random if it satisfies all probability laws, i.e., in more precise terms, if it does not belong to any definable set of probability measure 0. This definition reflect the usual physicists’ idea that events with ...
متن کاملOn the Abstraction of Objects, Components and Interfaces
There is a wide consensus that “an object explicitly embodies an abstraction,” but the exact meaning of this statement is not necessarily well understood. This paper argues that the abstraction embodied by an object (or a component) implementation is nothing else than its specification. This implies that abstraction does not appear automatically, it must be carefully constructed and maintained....
متن کاملUnified manipulation of interaction objects: integration, augmentation, expansion and abstraction
Interface developers combine interaction elements in order to implement the User Interface of interactive software applications, using the development facilities available by a given development tool. The functional capabilities of the interface tool may significantly affect the quality of the resulting interactive software product, as well as the resources needed for further maintenance, upgra...
متن کاملOn the Relationship Between Classes, Objects, and Data Abstraction
While most object-oriented programming is done in classbased languages, the trend in theoretical study has been to develop formal systems that are object-based, without classes and often without explicit inheritance mechanisms. This paper studies the correspondence between object primitives and class constructs of the form found in C++, Eiffel, and Java. The main qualitative insight is that suc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Open Computer Science
سال: 2016
ISSN: 2299-1093
DOI: 10.1515/comp-2016-0009